Handbook of logic in computer science
- Författare
- T. S. E. Maibaum Dov M. Gabbay S. Abramsky
- (Edited by: S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum volume co-ordinator: Dov M. Gabbay.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon Press | 1992-2000 | Storbritannien, Oxford | 6 vol. ill. |